предикатная буква

См. также в других словарях:

• ПРЕДИКАТНЫЙ СИМВОЛ — предикатная буква, обозначение какого либо конкретного предиката. Напр., символом часто обозначают отношение порядка на действительных числах, являющееся двуместным предикатом. При формальном построении языка символы, отнесенные к категории… …   Математическая энциклопедия

• Теоремы Гёделя о неполноте — Теоремы Гёделя о неполноте  две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой достаточно сильной[1] теории первого порядка. Первая теорема утверждает, что если формальная… …   Википедия

• Теорема Гёделя о неполноте — У этого термина существуют и другие значения, см. Теорема Гёделя. Теорема Гёделя о неполноте и вторая теорема Гёделя[ 1]  две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой… …   Википедия

• Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики)  семейство языков представления знаний …   Википедия